Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
151	Towards Semantics-Based Partial Evaluation of Imperative Programs Julio C. Peralta April 1997 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Software engineering Computer programming Programming paradigms Theoretical computer science Constraint logic programming Prolog Programming language Partial evaluation Functional programming Constraint programming Abstract interpretation Logic programming
152	Mechanized Semantics for Compiler Verification Xavier Leroy INRIA Paris-Rocquencourt Abstract. The formal verification of compilers and related programming tools depends crucially on the availabili Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2012-12-13 08:22:59 Theoretical computer science Software engineering Logic in computer science Computing Formal methods Programming language semantics Compiler construction Operational semantics Semantics Formal verification Compiler correctness Programming language
153	Monotonicity and global stability in download dynamics of content-sharing networks Fernando Paganini and Andres Ferragut Universidad ORT Uruguay Abstract— This paper analyzes previously-proposed dynamic models of conte Add to Reading List Source URL: fi.ort.edu.uy Language: English Metalogic Model theory Dynamical system Philosophy Logic Abstraction
154	A Revenge-Immune Solution to the Semantic Paradoxes Hartry Field∗ August 29, 2002 Abstract Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Mathematical logic Mathematics Ordinal numbers Philosophy of mathematics Constructible universe Transfinite induction Generalised Whitehead product Ordinal arithmetic
155	Unleashing the Verification Genie in the Cloud Nikolaj Bjørner Microsoft Research, One Microsoft Way, Redmond, WA, 98074, USA Abstract Z3 is a state-of-the-art SMT (Satisfiability Modulo Theories) Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-01 03:01:08 Mathematics Theoretical computer science Mathematical logic Predicate logic Constraint programming Electronic design automation Logic in computer science Satisfiability modulo theories Z3 First-order logic Language Integrated Query Computer program
156	Semantic Web Technologies to Reconcile Privacy and Context Awareness Norman M. Sadeh, Associate Professor, ISRI - School of Computer Science, CMU Abstract: Increasingly, application developers are looking for ways to pro Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2004-05-05 09:40:12 Web services Emerging technologies Knowledge engineering Semantic Web Context awareness Semantics Computing Information science Logic
157	Preprocessing Techniques for QBFs Enrico Giunchiglia1 , Paolo Marin1 , and Massimo Narizzano1 DIST - Universit`a di Genova Viale Causa 13, 16145 Genova, Italy Abstract Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:03:35 Mathematics Mathematical logic Theoretical computer science Automated theorem proving Boolean algebra Logic programming Resolution True quantified Boolean formula Clause Conflict-Driven Clause Learning DPLL algorithm
158	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
159	Evolutionary Fuzzy Rule Acquisition for Playing Ms.PacMan Hisashi Handa, Member, IEEE, Maiko Isozaki Abstract— This short description is written for the Ms.PacMan competition in CEC2007, held in Singapore. First, instr Add to Reading List Source URL: cswww.essex.ac.uk Language: English - Date: 2007-09-14 12:47:49 Software Gaming Fuzzy logic Classes of computers Artificial intelligence Logic in computer science Non-classical logic Membership function Pac-Man Fuzzy rule Ghosts
160	Session T2C THE CONCEPT OF “ALGORITHM EFFICIENCY” IN THE HIGH SCHOOL CS CURRICULUM Judith Gal-Ezer 1 and Ela Zur2 Abstract  Algorithms and the efficiency of algorithms are basic concepts to every computer science Add to Reading List Source URL: www.openu.ac.il Language: English - Date: 2009-03-16 13:52:35 Theoretical computer science Computational complexity theory Algorithm Mathematical logic Analysis of algorithms Computer science Computing XPL Efficiency

UPDATE